Translation of logic programs into functional fixpoint equations

Implementing Functional Logic Programs by Translation into Purely Functional Programs

investigating the integration of translation technologies into translation programs in iranian universities: basis for a syllabus design in translation technology

today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...

Translation of XML Documents into Logic Programs

The semantic web is supposed to become a characteristic phenomenon of the worldwide web in the next decade. One of the basic semantic web tools is the XML language. The aim of this paper is to provide information on how web documents written in the XML language can be rewritten into logic forms expressed as Prolog/Datalog programs. The XML language constitutes the basis of many semantic web lan...

The Differential Fixpoint of General Logic Programs

We present a version of the alternating xpoint procedure that is fully incremental. Using ideas of partial evaluation techniques we can compute the well-founded model of logic programs with negation bottom-up without any recomputations. Further extensions of the semantics, e.g. to stable models or disjunctive programs are possible this way. We show how to implement the algorithm eeciently using...

A Fixpoint Characterization of Abductive Logic Programs

This is a revised and extended version of the paper [19] which was presented at the Tenth International Conference on Logic Programming, Budapest, June 21{25, 1993. Address correspondence to Katsumi Inoue, Department of Information and Computer Sciences, Toyohashi University of Technology, Tempaku-cho, Toyohashi 441, Japan. E-mail: [email protected] y Chiaki Sakama, Department of Computer ...